Pursuit-Evasion Games with incomplete information in discrete time
نویسنده
چکیده
Pursuit-Evasion Games (in discrete time) are stochastic games with nonnegative daily payoffs, with the final payoff being the cumulative sum of payoffs during the game. We show that such games admit a value even in the presence of incomplete information and that this value is uniform, i.e. there are ǫ-optimal strategies for both players that are ǫ-optimal in any long enough prefix of the game. We give an example to demonstrate that nonnegativity is essential and expand the results to Leavable Games.
منابع مشابه
Model Checking Knowledge in Pursuit Evasion Games
In a pursuit-evasion game, one or more pursuers aim to discover the existence of, and then capture, an evader. The paper studies pursuit-evasion games in which players may have incomplete information concerning the game state. A methodology is presented for the application of a model checker for the logic of knowledge and time to verify epistemic properties in such games. Experimental results a...
متن کاملSynthesizing Strategies for Epistemic Goals by Epistemic Model Checking: An Application to Pursuit Evasion Games
The paper identifies a special case in which the complex problem of synthesis from specifications in temporal-epistemic logic can be reduced to the simpler problem of model checking such specifications. An application is given of strategy synthesis in pursuit-evasion games, where one or more pursuers with incomplete information aim to discover the existence of an evader. Experimental results ar...
متن کاملA Discrete Dynamic Game Modelling Anti-Missile Defense Scenarios
A discretized game model of an anti-missile defense scenario is presented. Such an engagement is a pursuit of a "blind" evader, committed to satisfy a terminal constraint. It can be formulated as an incomplete information zero-sum pursuit-evasion game with state constraint. Such a game becomes non trivial if the evader has higher maneuverability than the pursuer. In this case the game admits a ...
متن کاملDiscrete Time Stochastic Hybrid Dynamic Games: Part I - Formulation & Applications
We formulate a framework for discrete time stochastic hybrid dynamic game with two players and consider the reach-avoid problem, i.e. finding the probability that the system trajectory starting from any initial condition enters a target set while avoiding the obstacle set in a given time-horizon. We formulate the reach-avoid problem as a zero-sum stochastic game and show that the verification a...
متن کاملVision-based Detection of Autonomous Vehicles for Pursuit-evasion Games
We present a vision-based algorithm for the detection of multiple autonomous vehicles for a pursuit-evasion game scenario. Our algorithm computes estimates of the pose of multiple moving evaders from visual information collected by multiple moving pursuers, without previous knowledge of the segmentation of the image measurements or the number of moving evaders. We evaluate our algorithm in purs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Game Theory
دوره 38 شماره
صفحات -
تاریخ انتشار 2009